Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
141	INTERSPEECHRecognition of Personality Traits from Human Spoken Conversations A. V. Ivanov1 , G. Riccardi1 , A. J. Sporka2 and J. Franc3 1 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Psychology Personality Personality traits Behavior Big Five personality traits Conscientiousness Personality psychology Agreeableness Personality test Trait theory Openness to experience MyersBriggs Type Indicator
142	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
143	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:18 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
144	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
145	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:15 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
146	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:18 Logic Abstraction Philosophy Philosophy of language Formal languages Grammar Type theory Model theory Proposition Meaning Musical argument Intensifier
147	A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:18 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC
148	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
149	Wang Tiles May 2, 2006 Abstract Suppose we want to cover the plane with decorated square tiles of the same size. Tiles are to be chosen from a finite number of types. There are unbounded tiles of each type available. Due Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:37:17 Aperiodic tilings Geometry Mathematics Mosaic Visual arts Tessellation Theory of computation Wang tile Tile Penrose tiling Aperiodic set of prototiles
150	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68

UPDATE